Skip to content

Conversation

@garrettwrong
Copy link
Collaborator

Closes #1054 .

@garrettwrong garrettwrong added CI Continuous Integration cleanup labels Nov 27, 2023
@garrettwrong garrettwrong requested a review from j-c-c November 27, 2023 15:17
@garrettwrong garrettwrong self-assigned this Nov 27, 2023
@garrettwrong garrettwrong requested a review from janden as a code owner November 27, 2023 15:17
Copy link
Collaborator

@j-c-c j-c-c left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@garrettwrong
Copy link
Collaborator Author

Thanks, merging to unblock CI.

@garrettwrong garrettwrong merged commit f8507d1 into develop Nov 27, 2023
@garrettwrong garrettwrong deleted the flk branch November 27, 2023 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous Integration cleanup

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants